TECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions

Making critical sections abortable is a promising approach to controlling priority inversions. To improve the schedulability of a system using abortions, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the selective abort protocol (SAP) which introduces a new abort scheme to the priority ceiling protocol. Our proposed scheme can make the maximum number of abortions smaller than with the conventional priority-based abort schemes. A method to determine an upper bound on the number of abortions under the SAP is presented, and schedulability analyses of systems using the protocol are illustrated. Some extensions of the SAP are also discussed. ANY OTHER IDENTIFYING INFORMATION OF THIS REPORT DISTRIBUTION STATEMENT First issue 45 copies. This technical report is available via anonymous FTP from ftp.is.s.u-tokyo.ac.jp (directory /pub/tech-reports). SUPPLEMENTARY NOTES REPORT DATE January 11, 1995 TOTAL NO. OF PAGES 11 WRITTEN LANGUAGE English NO. OF REFERENCES 10 DEPARTMENT OF INFORMATION SCIENCE Faculty of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan Controlling Priority Inversion using Abortions Hiroaki Takada and Ken Sakamura Department of Information Science, Faculty of Science, University of Tokyo 7-3-1, Hongo, Bunkyo-ku, Tokyo 113, Japan Technical Report 95-02